منابع مشابه
A System F accounting for scalars
The algebraic λ-calculus [40] and the linear-algebraic λ-calculus [3] extend the λ-calculus with the possibility of making arbitrary linear combinations of λ-calculus terms (preserving ∑ αi.ti). In this paper we provide a fine-grained, System F -like type system for the linear-algebraic λ-calculus (Lineal). We show that this scalar type system enjoys both the subject-reduction property and the ...
متن کاملChiral Topologically Massive Gravity and Extremal B-F Scalars
At a critical “chiral” coupling, topologically massive gravity with a negative cosmological constant exhibits several unusual features, including the emergence of a new logarithmic branch of solutions and a linearization instability for certain boundary conditions. I show that at this coupling, the linearized theory may be parametrized by a free scalar field at the Breitenlohner-Freedman bound,...
متن کاملA data accounting system for clinical investigators.
Clinical investigators often preprocess, process, and analyze their data without benefit of formally organized research centers to oversee data management. This article outlines a practical three-file structure to help guide these investigators track and document their data through processing and analyses. The proposed process can be implemented without additional training or specialized softwa...
متن کاملA System for Learning Financial Accounting Bases
This paper describes a method for teaching students financial accounting bases. The method is based on correcting some typical errors, which can be observed at the beginners.
متن کاملChange Theory for Accounting System Reform in Health Sector: A Case Study of Kerman University of Medical Sciences in Iran
Background Change theories provide an opportunity for organizational managers to plan, monitor and evaluate changes using a framework which enable them, among others, to show a fast response to environmental fluctuations and to predict the changing patterns of individuals and technology. The current study aimed to explore whether the change in the public accounting system of the Iranian health ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2012
ISSN: 1860-5974
DOI: 10.2168/lmcs-8(1:11)2012